Lean (assistant de preuve)

Qualità:

Questo linguaggio di programmazione è il 453° più popolare nella classifica globale di Wikipedia di linguaggi di programmazione e il 419° più popolare linguaggi di programmazione nella Wikipedia in francese. L'articolo "Lean (assistant de preuve)" nella Wikipedia in francese ha 9.6 punti per la qualità (al 1 agosto 2024). L'articolo contiene 3 riferimenti e 3 sezioni.

Questo articolo ha la migliore qualità nella Wikipedia in cinese. Tuttavia, la versione linguistica più popolare di questo articolo è il inglese.

Realizzazioni in tutto il tempo:

Wikipedia in francese:

Il 419° più popolare in linguaggi di programmazione nella Wikipedia in francese.

Wikipedia globale:

Il 453° più popolare in linguaggi di programmazione.

Dalla creazione dell'articolo "Lean (assistant de preuve)", il suo contenuto è stato scritto da 9 utenti registrati di Wikipedia in francese e modificato da 98 utenti registrati di Wikipedia in tutte le lingue.

Lean (assistant de preuve) è al 419° posto nella classifica locale dei linguaggi di programmazione nella Wikipedia in francese e al 453° posto nella classifica globale dei linguaggi di programmazione in tutto il tempo.

L'articolo è citato 7 volte nella Wikipedia in francese e citato 476 volte in tutte le lingue.

Il grado di interesse degli autori più alto dal 2001:/p>

• Locale (francese): N. 7184 nel febbraio 2020
• Globale: N. 28638 nel giugno 2024

Il grado di popolarità più alto dal 2008:

• Locale (francese): N. 317475 nell'ottobre 2023
• Globale: N. 160905 nel luglio 2024

Ci sono 12 versioni linguistiche per questo articolo nel database WikiRank (delle 55 edizioni linguistiche di Wikipedia considerate).

La valutazione della qualità e della popolarità si basava sui dump di Wikipedia del 1 agosto 2024 (inclusa la cronologia delle revisioni e le visualizzazioni di pagina degli anni precedenti).

La tabella seguente mostra le versioni linguistiche dell'articolo con la massima qualità.

#	Lingua	Grado di qualità	Punteggio di qualità
1	cinese (zh) Lean		44.1679
2	inglese (en) Lean (proof assistant)		39.2322
3	giapponese (ja) Lean (証明アシスタント)		33.3528
4	tedesco (de) Lean (Beweisassistent)		31.898
5	spagnolo (es) Lean		27.6817
6	persiano (fa) لین (دستیار اثبات)		25.4167
7	ucraino (uk) Lean		24.9286
8	russo (ru) Lean		21.4148
9	vietnamita (vi) Lean (trợ lý chứng minh)		13.5515
10	olandese (nl) Lean (bewijsassistent)		10.554

La tabella seguente mostra le versioni linguistiche più popolari dell'articolo.

#	Lingua	Premio di popolarità	Popolarità relativa
1	inglese (en) Lean (proof assistant)		198 539
2	russo (ru) Lean		7 610
3	francese (fr) Lean (assistant de preuve)		5 505
4	giapponese (ja) Lean (証明アシスタント)		5 106
5	tedesco (de) Lean (Beweisassistent)		1 729
6	spagnolo (es) Lean		808
7	cinese (zh) Lean		355
8	ucraino (uk) Lean		323
9	ceco (cs) Lean (programovací jazyk)		251
10	vietnamita (vi) Lean (trợ lý chứng minh)		182

La tabella seguente mostra le versioni linguistiche dell'articolo con la maggiore popolarità nell'ultimo mese.

#	Lingua	Premio di popolarità	Popolarità relativa
1	inglese (en) Lean (proof assistant)		11 293
2	giapponese (ja) Lean (証明アシスタント)		654
3	tedesco (de) Lean (Beweisassistent)		561
4	russo (ru) Lean		330
5	cinese (zh) Lean		226
6	francese (fr) Lean (assistant de preuve)		163
7	spagnolo (es) Lean		110
8	ceco (cs) Lean (programovací jazyk)		15
9	olandese (nl) Lean (bewijsassistent)		15
10	vietnamita (vi) Lean (trợ lý chứng minh)		14

La tabella seguente mostra le versioni linguistiche dell'articolo con il maggiore interesse degli autori.

#	Lingua	Premio IA	IA relativi
1	inglese (en) Lean (proof assistant)		53
2	francese (fr) Lean (assistant de preuve)		9
3	tedesco (de) Lean (Beweisassistent)		8
4	russo (ru) Lean		8
5	giapponese (ja) Lean (証明アシスタント)		7
6	spagnolo (es) Lean		3
7	vietnamita (vi) Lean (trợ lý chứng minh)		3
8	olandese (nl) Lean (bewijsassistent)		2
9	ucraino (uk) Lean		2
10	ceco (cs) Lean (programovací jazyk)		1

La tabella seguente mostra le versioni linguistiche dell'articolo con il maggiore interesse degli autori nell'ultimo mese.

#	Lingua	Premio IA	IA relativi
1	inglese (en) Lean (proof assistant)		1
2	spagnolo (es) Lean		1
3	giapponese (ja) Lean (証明アシスタント)		1
4	olandese (nl) Lean (bewijsassistent)		1
5	ceco (cs) Lean (programovací jazyk)		0
6	tedesco (de) Lean (Beweisassistent)		0
7	persiano (fa) لین (دستیار اثبات)		0
8	francese (fr) Lean (assistant de preuve)		0
9	russo (ru) Lean		0
10	ucraino (uk) Lean		0

La tabella seguente mostra le versioni linguistiche dell'articolo con il maggior numero di citazioni.

Il 6 settembre 2024 nella Wikipedia multilingue gli utenti di Internet leggono più spesso articoli sui seguenti argomenti: Linkin Park, Chester Bennington, Rob Bourdon, Emily Armstrong, Cristiano Ronaldo, UEFA Nations League, Beetlejuice - Spiritello porcello, Jessica Pegula, Mike Shinoda, Rebecca Cheptegei.

Nella Wikipedia in francese gli articoli più popolari quel giorno erano: Michel Barnier, Affaire des viols de Mazan, Maurizio Gucci, Patrizia Reggiani, Gucci, Michael Olise, House of Gucci, Linkin Park, Nicola Sirkis, Abbé Pierre.

Il progetto è finalizzato alla valutazione relativa automatica degli articoli nelle diverse versioni linguistiche di Wikipedia. Al momento il servizio permette di confrontare oltre 44 milioni di articoli di Wikipedia in 55 lingue. I punteggi di qualità degli articoli si basano sui dump di Wikipedia del agosto 2024. Nel calcolare la popolarità attuale e l'intelligenza artificiale degli articoli sono stati presi in considerazione i dati del luglio 2024. Per i valori storici di popolarità e AI WikiRank ha utilizzato dati dal 2001 al 2023... More information